(define (problem strips-mysty-x-4)
   (:domain mystery-strips)
   (:objects muffin ham scallion shrimp cherry grapefruit bacon
             arugula scallop wurst aesthetics hangover dread sciatica
             jealousy loneliness abrasion anger surrey quebec bosnia oregon
             kentucky mars vulcan)
   (:init (food muffin)
          (food ham)
          (food scallion)
          (food shrimp)
          (food cherry)
          (food grapefruit)
          (food bacon)
          (food arugula)
          (food scallop)
          (food wurst)
          (pleasure aesthetics)
          (pain hangover)
          (pain dread)
          (pain sciatica)
          (pain jealousy)
          (pain loneliness)
          (pain abrasion)
          (pain anger)
          (province surrey)
          (province quebec)
          (province bosnia)
          (province oregon)
          (province kentucky)
          (planet mars)
          (planet vulcan)
          (locale cherry kentucky)
          (eats ham muffin)
          (eats cherry shrimp)
          (locale scallion quebec)
          (craves dread ham)
          (eats cherry ham)
          (eats grapefruit scallop)
          (craves sciatica grapefruit)
          (eats wurst bacon)
          (eats muffin ham)
          (attacks oregon kentucky)
          (eats arugula scallop)
          (eats arugula bacon)
          (eats bacon wurst)
          (eats arugula muffin)
          (craves anger wurst)
          (eats scallion shrimp)
          (eats arugula wurst)
          (locale arugula kentucky)
          (eats grapefruit wurst)
          (craves loneliness arugula)
          (harmony aesthetics vulcan)
          (eats muffin cherry)
          (eats scallop arugula)
          (locale muffin kentucky)
          (locale grapefruit surrey)
          (craves hangover muffin)
          (eats cherry arugula)
          (eats shrimp scallion)
          (locale ham bosnia)
          (eats muffin scallion)
          (eats arugula cherry)
          (eats scallop grapefruit)
          (craves abrasion scallop)
          (eats bacon arugula)
          (eats ham cherry)
          (eats cherry muffin)
          (locale bacon quebec)
          (locale wurst surrey)
          (attacks bosnia oregon)
          (locale scallop oregon)
          (eats shrimp cherry)
          (eats wurst arugula)
          (attacks quebec bosnia)
          (eats muffin arugula)
          (attacks surrey quebec)
          (craves aesthetics shrimp)
          (eats scallion muffin)
          (orbits mars vulcan)
          (locale shrimp bosnia)
          (craves jealousy bacon)
          (eats wurst grapefruit))
   (:goal (and (craves sciatica wurst))))